منابع مشابه
Schedulers are no Prophets
Several formalisms for concurrent computation have been proposed in recent years that incorporate means to express stochastic continuous-time dynamics and non-determinism. In this setting, some obscure phenomena are known to exist, related to the fact that schedulers may yield too pessimistic verification results, since current nondeterminism can surprisingly be resolved based on prophesying th...
متن کاملWhy Maps Are Not Propositional ∗
Why Maps Are Not Propositional∗ A number of philosophers and logicians have argued for the conclusion that maps are logically tractable modes of representation by analyzing them in propositional terms. But in doing so, they have often left what they mean by ‘propositional’ undefined or unjustified. I argue that propositions are characterized by a structure that is digital, universal, asymmetric...
متن کاملWhy Objects Are Not Enough
Object−oriented programming hasn't created a viable software component industry. From a technical perspective, the reason for this failure lies in an insufficient consideration of the unique requirements of component software. Object−oriented programming too often concentrates on individual objects, instead of whole collections of objects, i.e., components. Component−oriented programming requir...
متن کاملWhy we are not all novelists
In this chapter I consider one of the necessary conditions for being a novelist, the ability to open up and sustain a fictional world. My approach will draw from psychopathology, phenomenology and neuroscience. Using the phenomenological concept of “multiple realities,” I argue that the novelist is in some ways like and in some ways unlike someone who experiences delusions insofar as the noveli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vetus Testamentum
سال: 2020
ISSN: 0042-4935,1568-5330
DOI: 10.1163/15685330-12341434